package joc.nextgen;

import static joc.nextgen.JOC.pre;

public class PointContract extends Point {

	public PointContract(int x, int y) {
		super(x, y); // muss abgefangen werden
		if (pre()) {
			assert x >= 0 : "x >= 0";
			assert y >= 0 : "y >= 0";
		}
	}

	public static boolean isStatic() {
		if (pre()) {
			assert true;
		}
		return false;
	}

}
